Structural inclusion in the pi-calculus with replication
نویسندگان
چکیده
Three notions of structural inclusion between process terms of the-calculus are considered, and proven to be decidable and to have axiom-atizations that are sound and complete in the multiset semantics M of the-calculus. All three are strong simulation relations.
منابع مشابه
Multisets and Structural Congruence of the pi-Calculus with Replication
In the -calculus with replication, two processes are multiset congruent if they have the same semantics in the multiset transition system M . It is proved that (extended) structural congruence is the same as multiset congruence, and that it is decidable.
متن کاملStructural Rewriting in the π-Calculus
We consider reduction in the synchronous π-calculus with replication, without sums. Usual definitions of reduction in the π-calculus use a closure w.r.t. structural congruence of processes. In this paper we operationalize structural congruence by providing a reduction relation for piprocesses which also performs necessary structural conversions explicitly by rewrite rules. As we show, a subset ...
متن کاملEffectiveness of two H9N2 low pathogenic avian influenza conventional inactivated oil emulsion vaccines on H9N2 viral replication and shedding in broiler chickens
The objective of this study was to compare the effect of two conventional H9N2 avian influenza (AI) vaccines on replication and shedding of the H9N2 AI virus in broiler chickens. These inactivated oil emulsion vaccines contain either a UAE or an Iranian H9N2 AI isolate. One hundred and fifty one-day-old commercial broiler chickens were randomly divided into six groups. The birds, except for the...
متن کاملA Full Formalisation of pi-Calculus Theory in the Calculus of Constructions
A formalisation of-calculus in the Coq system is presented. Based on a de Bruijn notation for names, our implementation exploits the mechanisation of some proof techniques described by Sangiorgi in San95b] to derive several results of classical-calculus theory, including congruence, structural equivalence and the replication theorems. As the proofs are described, insight is given to the main im...
متن کاملA Multiset Semantics for the pi-Calculus with Replication
A multiset (or Petri net) semantics is de ned for the calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics. This paper is readable without knowledge of Petri nets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 258 شماره
صفحات -
تاریخ انتشار 2001